Knihy od autora Jonathan P. Bowen

Zobrazeno 1 – 20 z 20 výsledků

1. 

   Formal Methods: State of the Art and New Directions

   Paul Boca, Jonathan P. Bowen, Jawed Siddiqi | Springer London Ltd, 2009

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   3313 Kč

   Koupit
2. 

   Electronic Visualisation in Arts and Culture

   Jonathan P. Bowen, Suzanne Keene, Kia Ng | Springer London Ltd, 2016

   
   

   Skladem u dodavatele - Odesíláme za 8-10 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   4005 Kč

   Koupit
3. 

   Formal Methods and Testing

   Robert M. Hierons, Jonathan P. Bowen, Mark Harman | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
4. 

   ZUM '95: The Z Formal Specification Notation

   Jonathan P. Bowen, Michael G. Hinchey | Springer, Berlin, 1995

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3313 Kč

   Koupit
5. 

   Provably Correct Systems

   Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog | Springer International Publishing AG, 2017

   
   

   Skladem u dodavatele - Odesíláme za 11-13 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2866 Kč

   Koupit
6. 

   Engineering Trustworthy Software Systems

   Jonathan P. Bowen, Zhiming Liu, Zili Zhang | Springer International Publishing AG, 2017

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
7. 

   Industrial-Strength Formal Methods in Practice

   Michael G. Hinchey, Jonathan P. Bowen | Springer London Ltd, 1999

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   5094 Kč

   Koupit
8. 

   ZB 2002: Formal Specification and Development in Z and B

   Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson | Springer, Berlin, 2002

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
9. 

   Provably Correct Systems

   Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog | Springer International Publishing AG, 2018

   
   

   Skladem u dodavatele - Odesíláme za 5-7 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2866 Kč

   Koupit
10. 

    Engineering Trustworthy Software Systems

    Jonathan P. Bowen, Zhiming Liu, Zili Zhang | Springer Nature Switzerland AG, 2019

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1977 Kč

    Koupit
11. 

    Electronic Visualisation in Arts and Culture

    Jonathan P. Bowen, Suzanne Keene, Kia Ng | Springer London Ltd, 2013

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    4798 Kč

    Koupit
12. 

    ZB 2000: Formal Specification and Development in Z and B

    Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King | Springer, Berlin, 2000

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681 Kč

    Koupit
13. 

    Formal Methods: State of the Art and New Directions

    Paul Boca, Jonathan P. Bowen, Jawed Siddiqi | Springer London Ltd, 2014

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    3313 Kč

    Koupit
14. 

    High-Integrity System Specification and Design

    Jonathan P. Bowen, Michael G. Hinchey | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681 Kč

    Koupit
15. 

    Unifying Theories of Programming

    Jonathan P. Bowen, Huibiao Zhu | Springer International Publishing AG, 2017

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681 Kč

    Koupit
16. 

    Abstract State Machines, B and Z

    Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681 Kč

    Koupit
17. 

    Engineering Trustworthy Software Systems

    Jonathan P. Bowen, Zhiming Liu, Zili Zhang | Springer Nature Switzerland AG, 2018

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681 Kč

    Koupit
18. 

    Theories of Programming and Formal Methods

    Jonathan P. Bowen, Qin Li, Qiwen Xu | Springer, Berlin

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    2422 Kč

    Koupit
19. 

    ZUM '97: The Z Formal Specification Notation

    Jonathan P. Bowen, Michael G. Hinchey, David Till | Springer, Berlin, 1997

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681 Kč

    Koupit
20. 

    ZUM '98: The Z Formal Specification Notation

    Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1998

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681 Kč

    Koupit

Poskytujeme slevy pro studenty, učitele a držitele ISIC. Zjistěte více